منابع مشابه
Learning Acyclic First-order Horn Sentences
This paper considers the problem of learning an unknown rst-order Horn sentence H from examples of Horn clauses that H either implies or does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allows recursions, disjunctive definitions, and the use of function symbols. We present an algorithm ...
متن کاملReduced Products, Horn Sentences, and Decision Problems
We shall consider a first order language with equality, and the corresponding structures. Reduced products {powers) and Horn sentences are defined in [4, pp. 199, 211]. An Vn sentence is a prenex sentence whose prefix consists of a block of universal quantifiers, followed by a block of existential quantifiers, followed by another block of universal quantifiers, and so on n times; an sentences a...
متن کاملLearning Acyclic First-Order Horn Sentences from Entailment
This paper consider the problem of learning an unknown rst-order Horn sentenceH from examples of Horn clauses that H implies and does not imply. Particularly, we deal with a subclass of rst-order Horn sentences ACH(k), called acyclic constrained Horn programs of constant arity k. ACH(k) allow recursions, disjunctive de nitions, and the use of function symbols. We present an algorithm that exact...
متن کامل"Linguistic" sentences and "real" sentences
This p~$r Id~ntift~ iwe klr¢ds of sentences: "llngulsUc" sentences ~ J "r~al" a~-ntence~. "l't~,~ former is a kind of sentel~'~,e~ that ar~ often discussed in (cemputatkmal) Ungulstlc literatures, sucll as the:re In i:lgure 1. The latter, on the other hand, is a kind of senteace=~ that appear in practical applications, such as those In Flgu='e 2. Where~ts both are grammatical English sentences,...
متن کاملHorn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is concerned with efficiency—of computing inferences, of knowledge acquisition, etc. Horn-to-Horn belief revision could be of interest, in particular, as a component of any efficient system requiring large commonsense know...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1970
ISSN: 0003-4843
DOI: 10.1016/0003-4843(70)90002-1